Systemati Debugging of Attribute Grammars
نویسندگان
چکیده
منابع مشابه
Systematic Debugging of Attribute Grammars
Although attribute grammars are commonly used for compiler construction, little investigation has been conducted on debugging attribute grammars. The paper proposes two types of systematic debugging methods, an algorithmic debugging and slice-based debugging, both tailored for attribute grammars. By means of query-based interaction with the developer, our debugging methods effectively narrow th...
متن کاملGENERALIZED SYSTEMATIC DEBUGGING FOR ATTRIBUTE GRAMMARS XXX1 Generalized Systematic Debugging for Attribute Grammars
Attribute grammars (AGs) are known to be a useful formalism for semantic analysis and translation. However, debugging AGs is complex owing to inherent difficulties of AGs, such as recursive grammar structure and attribute dependency. In this paper, a new systematic method of debugging AGs is proposed. Our approach is, in principle, based on previously proposed algorithmic debugging of AGs, but ...
متن کاملGeneralized Systematic Debugging for Attribute Grammars
Attribute grammars (AGs) are known to be a useful formalism for semantic analysis and translation. However, debugging AGs is complex owing to inherent difficulties of AGs, such as recursive grammar structure and attribute dependency. In this paper, a new systematic method of debugging AGs is proposed. Our approach is, in principle, based on previously proposed algorithmic debugging of AGs, but ...
متن کاملDebugger for Attribute Grammar Specification Language , Silver
Despite the growth of information technology, it has not provided satisfactory results in certain areas. This is because our current approach has been limited by time consuming processes of software testing and software development.Programming,specially declarative and functional, can improve this methodology by making programmers free from following certain sequence of expression calculation. ...
متن کاملOrigin Tracking in Attribute Grammars
Origin tracking is a technique for relating the output of a transformation back to its input. In term rewriting systems, where this notion was developed, it relates subtrees in the resulting normal form term to the original term. The technique is useful in several settings, including program debugging and error reporting. We show how origin tracking can be integrated into higher-order attribute...
متن کامل